Reference for Bava Kamma 80:17

אמר רבי שמעון אם נאמר רובע למה נאמר נוגח ואם נאמר נוגח למה נאמר רובע

R. Papa, however, said: Since the concluding clause [proves that a change in the] control<span class="x" onmousemove="('comment',' V. p. 228, n. 8. ');">¹⁵</span>

Jastrow